(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(assert (let ((e1 4))
(let ((e2 2))
(let ((e3 1))
(let ((e4 (- v0)))
(let ((e5 (/ e3 (- e3))))
(let ((e6 (* e3 v0)))
(let ((e7 (/ e2 (- e1))))
(let ((e8 (< e4 e7)))
(let ((e9 (>= v0 e6)))
(let ((e10 (< e7 v0)))
(let ((e11 (< e4 e6)))
(let ((e12 (< e4 v0)))
(let ((e13 (> e5 e4)))
(let ((e14 (ite e10 e4 e4)))
(let ((e15 (ite e12 e14 e5)))
(let ((e16 (ite e13 e5 e7)))
(let ((e17 (ite e9 e14 e16)))
(let ((e18 (ite e8 e6 e6)))
(let ((e19 (ite e8 e4 e14)))
(let ((e20 (ite e9 e15 e14)))
(let ((e21 (ite e13 e5 e17)))
(let ((e22 (ite e11 e20 e16)))
(let ((e23 (ite e11 v0 e16)))
(let ((e24 (= e7 e4)))
(let ((e25 (> e20 e5)))
(let ((e26 (> e15 e17)))
(let ((e27 (>= e5 e16)))
(let ((e28 (distinct e21 e5)))
(let ((e29 (<= e15 e19)))
(let ((e30 (>= e20 e19)))
(let ((e31 (distinct e7 v0)))
(let ((e32 (> e4 e7)))
(let ((e33 (distinct e20 e20)))
(let ((e34 (< e4 e23)))
(let ((e35 (distinct v0 e23)))
(let ((e36 (<= e16 e20)))
(let ((e37 (<= e18 e22)))
(let ((e38 (> e17 e7)))
(let ((e39 (< e14 e18)))
(let ((e40 (> e14 e4)))
(let ((e41 (>= e14 e7)))
(let ((e42 (<= e17 e23)))
(let ((e43 (>= e15 e7)))
(let ((e44 (= v0 e5)))
(let ((e45 (= e15 e18)))
(let ((e46 (= e4 e17)))
(let ((e47 (= e14 e22)))
(let ((e48 (distinct e19 e5)))
(let ((e49 (> e14 e21)))
(let ((e50 (>= e19 e7)))
(let ((e51 (> e6 e19)))
(let ((e52 (or e31 e39)))
(let ((e53 (and e38 e35)))
(let ((e54 (ite e34 e48 e40)))
(let ((e55 (ite e9 e47 e30)))
(let ((e56 (=> e51 e49)))
(let ((e57 (xor e8 e55)))
(let ((e58 (= e33 e52)))
(let ((e59 (xor e11 e53)))
(let ((e60 (and e13 e10)))
(let ((e61 (and e28 e60)))
(let ((e62 (xor e36 e26)))
(let ((e63 (=> e57 e12)))
(let ((e64 (xor e58 e45)))
(let ((e65 (and e50 e59)))
(let ((e66 (or e37 e42)))
(let ((e67 (xor e29 e25)))
(let ((e68 (=> e46 e46)))
(let ((e69 (=> e56 e54)))
(let ((e70 (=> e32 e63)))
(let ((e71 (=> e61 e70)))
(let ((e72 (xor e65 e27)))
(let ((e73 (not e24)))
(let ((e74 (or e44 e68)))
(let ((e75 (ite e74 e41 e43)))
(let ((e76 (and e73 e73)))
(let ((e77 (not e71)))
(let ((e78 (=> e67 e62)))
(let ((e79 (and e72 e77)))
(let ((e80 (=> e78 e66)))
(let ((e81 (=> e69 e80)))
(let ((e82 (ite e75 e75 e81)))
(let ((e83 (not e76)))
(let ((e84 (= e64 e64)))
(let ((e85 (not e84)))
(let ((e86 (xor e82 e83)))
(let ((e87 (and e79 e79)))
(let ((e88 (not e87)))
(let ((e89 (and e86 e86)))
(let ((e90 (xor e89 e89)))
(let ((e91 (not e85)))
(let ((e92 (= e90 e88)))
(let ((e93 (and e91 e91)))
(let ((e94 (not e92)))
(let ((e95 (not e93)))
(let ((e96 (= e94 e95)))
e96
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(check-sat)
